Le nom du modèle a besoin d'un reçu
FlashProve, le prototype d'Anthropic, peut joindre une preuve cryptographique à une réponse d'IA. Il ne prouve pas qu'elle est bonne, mais quelque chose de plus étroit dont les acheteurs ont besoin : quels poids engagés l'ont produite.